http://identifiers.org/mgd/MGI:5056336 targeted mutation 1, Yong-hui Jiang Shank3<e4-9> MGI:5056336 Shank3<tm1Yhj> Shank3/J